home *** CD-ROM | disk | FTP | other *** search
- if fgrep KSH_VERSION etc/profile 1> /dev/null 2> /dev/null; then
- GOOD=y
- else
- echo 'if [ ! "$KSH_VERSION" = "" ]; then' >> etc/profile
- cat << EOF >> etc/profile
- . /etc/ksh.kshrc
- if [ -r $HOME/.kshrc ]; then
- . $HOME/.kshrc
- fi
- fi
- EOF
- fi
- if fgrep ksh etc/shells 1> /dev/null 2> /dev/null; then
- GOOD=y
- else
- echo "/bin/pdksh" >> etc/shells
- echo "/bin/ksh" >> etc/shells
- fi
- ( cd bin ; rm -rf ksh )
- ( cd bin ; ln -sf pdksh ksh )
- ( cd usr/man/man1 ; rm -rf pdksh.1.gz )
- ( cd usr/man/man1 ; ln -sf ksh.1.gz pdksh.1.gz )
-